Qualitative Approximate Behavior Composition
نویسندگان
چکیده
The behavior composition problem involves automatically building a controller that is able to realize a desired, but unavailable, target system (e.g., a house surveillance) by suitably coordinating a set of available components (e.g., video cameras, blinds, lamps, a vacuum cleaner, phones, etc.) Previous work has almost exclusively aimed at bringing about the desired component in its totality, which is highly unsatisfactory for unsolvable problems. In this work, we develop an approach for approximate behavior composition without departing from the classical setting, thus making the problem applicable to a much wider range of cases. Based on the notion of simulation, we characterize what a maximal controller and the “closest” implementable target module (optimal approximation) are, and show how these can be computed using ATL model checking technology for a special case. We show the uniqueness of optimal approximations, and prove their soundness and completeness with respect to their imported controllers.
منابع مشابه
High-Speed Stochastic Qualitative Reasoning by Model Division and States Composition
Stochastic qualitative reasoning is an effective way to grasp approximate behavior of complex systems such as air conditioning systems . The appropriateness of the stochastic qualitative model can be identified by comparing the behavior derived by reasoning that is represented as the transition of states with the actual measured behavior . Since the states are derived based on all conceivable c...
متن کاملOn the Robustness of Qualitative Distance- and Direction-Reasoning*
This paper focuses on spatial information derived from the composition of two pairs of cardinal directions (e.g., North and North-East) and approximate distances (e.g., near and far), i.e., given the approximate distances a1 (A, B) and a2 (B, C) and the cardinal directions c1 (A, B) and c2 (B, C), what are a3 (A, C) and c3 (A, C)? Spatial reasoning about cardinal directions and approximate dist...
متن کاملA Comparative Approximate Economic Behavior Analysis Of Support Vector Machines And Neural Networks Models
متن کامل
Magnetic and Electerical Resistivity Behavior of Amorphous Ni Co P Films
Magnetic and Electrical Resistivity Study of Electroless Amorphous Ternary System (Ni-Co-P) show a qualitative dependence of crystalline phases formed during transformation on the annealing temperature and composition. Electrical Resistivity values increases with increase in cobalt content and samples with higher resistivity show lower temperature coefficients. The Initial increase in magnetiza...
متن کاملBehavior Composition Optimization
The behavior composition problem involves the automatic synthesis of a controller that is able to “realize” (i.e., implement) a desired target behavior specification by suitably coordinating a set of already available behaviors. While the problem has been thoroughly studied, one open issue has resisted a principled solution: if the target specification is not fully realizable, is there a way to...
متن کامل